Skip to content

feat!: add support for u1 in the avm circuit & witgen#8570

Merged
dbanks12 merged 1 commit into
masterfrom
db/u1-avm-circuit
Sep 18, 2024
Merged

feat!: add support for u1 in the avm circuit & witgen#8570
dbanks12 merged 1 commit into
masterfrom
db/u1-avm-circuit

Conversation

@dbanks12

@dbanks12 dbanks12 commented Sep 16, 2024

Copy link
Copy Markdown
Contributor
  • Circuit & witgen updates for u1
  • Simulator & transpiler updates for u1
  • Includes modification to the ToRadix AVM opcode to include the output_bits flag (is output in bits mode).
  • Includes modification to the ToRadix AVM and Brillig opcode's radix operand to be a memory offset instead of an immediate.
  • AVM comparator instructions (EQ/LT/LTE) now output U1.

radix_offset's read is not constrained due to #8603

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants